منابع مشابه
L-domains and Lossless Powerdomains
The category of L-domains was discovered by A. Jung while solving the problem of nding maximal cartesian closed categories of algebraic CPO's and continuous functions. In this note we analyse properties of the lossless powerdo-main construction, that is closed on the algebraic L-domains. The powerdomain is shown to be isomorphic to a collection of subsets of the domain on which the construction...
متن کاملA Note on Powerdomains and Modalitiy
This note shows a simple connection between powerdomains and modal assertions that can be made about nondeterministic computations. We consider three kinds of powerdomains, the Plotkin powerdomain, the Smyth powerdomain and one Christened the Hoare power domain by Plotkin because it captures the partial correctness of a nondeterministic program. The modal operators are • for "inevitably" and <>...
متن کاملConvex Powerdomains I
A completion via Frink ideals is used to define a convex powerdomain of an arbitrary continuous lattice as a continuous lattice. The powerdomain operator is a functor in the category of continuous lattices and continuous inf-preserving maps and preserves projective limits and surjectivity of morphisms; hence one can solve domain equations in which it occurs. Analogous results hold for algebraic...
متن کاملAlgebraic Characterization of Edible Powerdomains
Powerdomains like mixes, sandwiches, snacks and scones are typically used to provide semantics of collections of descriptions of partial data. In particular, they were used to give semantics of databases with partial information. In this paper we argue that to be able to put these constructions into the context of a programming languages it is necessary to characterize them as free (ordered) al...
متن کاملthe effect of item modality, note-taking and input source on iranian upper-intermediate efl learners listening comprehension across gender
نقش مهم آزمون مهارت شنیداری در آموزش زبان نیازمند آنست که محققان مطالعاتی را در زمینه عوامل موثر بر عملکرد زبان آموزان انجام دهند. به همین منظور، تحقیق حاضر برآن بوده که تاثیر عواملی چون نوع ارائه سوال، نوت برداری و بومی یا غیر بومی بودن گوینده را بر عملکرد زبان آموزان ایرانی مقطع پیشرفته در آزمون مهارت شنیداری بررسی نماید. در همین راستا و برای بررسی هریک از عوامل ذکر شده، یک آزمون شامل 20 سوال...
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1985
ISSN: 0304-3975
DOI: 10.1016/0304-3975(85)90037-4